Nuprl Lemma : m-sys-null_wf
11,40
postcript
pdf
System
latex
Definitions
System
,
,
t
T
,
x
:
A
.
B
(
x
)
,
Lemmas
ma-empty
wf
,
Id
wf
,
ma-feasible
wf
,
ma-empty-feasible
origin
System System T
x:A. B(x)